The University of Nottingham is a world-class research-led institution and holds a student population of 100,000

Source URL: www.springeropen.com

• Academia
• Knowledge
• Archives
• Communication
• Research
• Digital Repository Infrastructure Vision for European Research
• National Institutes of Health
• Self-archiving
• Repository
• Open access
• Academic publishing
• Publishing

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni

Source URL: repository.readscheme.org

• Programming language semantics
• Procedural programming languages
• Logic in computer science
• Functional languages
• Models of computation
• Standard ML
• Denotational semantics
• ALGOL 68
• Eval
• Software engineering
• Computing
• Programming language theory

Interaction-Safe State for the Web Jay McCarthy Shriram Krishnamurthi Brown University

Source URL: repository.readscheme.org

• Continuations
• Control flow
• Web application frameworks
• Functional languages
• Cross-platform software
• Web service
• Frame
• Call-with-current-continuation
• Seaside
• Computing
• Software engineering
• Computer programming

The Effectiveness of Flow Analysis for Inlining∗ J. Michael Ashley University of Kansas Snow Hall 415 Lawrence, Kansas 66045

Source URL: repository.readscheme.org

• Subroutines
• Theoretical computer science
• Inline expansion
• Computability theory
• Models of computation
• Compiler optimization
• Lambda calculus
• Data-flow analysis
• Function
• Software engineering
• Computer programming
• Computing

Screen-Replay: A Session Recording and Analysis Tool for DrScheme M. Fatih K¨oksal, R. Emre Bas¸ar ¨ udarlı Suzan Usk¨

Source URL: repository.readscheme.org

• Programming language theory
• Computer science education
• Java programming language
• ProgramByDesign
• The Structure and Interpretation of the Computer Science Curriculum
• How to Design Programs
• ALGOL 68
• Computing
• Scheme programming language
• Software engineering

“Año de Homenaje al doctor D. MANUEL BELGRANO” th Buenos Aires, February 16 , 2012. Dear members: We are glad to invite you to visit the website for the Sistema Nacional de Repositorios

Source URL: www.coar-repositories.org

• Knowledge
• Academia
• Communication
• Archival science
• Research
• Repository
• Institutional repository
• Digital Repository Infrastructure Vision for European Research
• Open access
• Academic publishing
• Publishing

ABSTRACT KIL, CHONGKYUNG. Mechanisms for Protecting Software Integrity in Networked Systems. (Under the direction of Associate Professor Peng Ning). Protecting software integrity is a key to successfully maintain its own

Source URL: repository.lib.ncsu.edu

• Crime prevention
• National security
• Software testing
• Integrity
• Vulnerability
• Database
• Ring
• Computer security
• Security
• Cyberwarfare

2015 SOUTH ISLAND SALE REPOSITORY The following lots have had x-rays and/or surgical certificates lodged with the Repository Lot

Source URL: www.nzb.co.nz

The VLISP Linker William M. Farmer Joshua D. Guttman

Source URL: repository.readscheme.org

• Data types
• C++
• Constant
• Literal
• C
• J
• Variable
• String
• Software engineering
• Computing
• Computer programming

ABSTRACT NATARAJAN, ARUN. NSDMiner: Automated Discovery of Network Service Dependencies. (Under the direction of Dr. Peng Ning.) Enterprise networks today host a wide variety of network services, which often depend on ea

Source URL: repository.lib.ncsu.edu

• Computing
• Project management
• Dependency
• Ning